Duality theory and propagation rules for higher order nets
نویسندگان
چکیده
منابع مشابه
Duality Theory and Propagation Rules for Generalized Nets
Generalized nets and sequences are used in quasi-Monte Carlo rules for the approximation of high dimensional integrals over the unit cube. Hence one wants to have generalized nets and sequences of high quality. In this paper we introduce a duality theory for generalized nets whose construction is not necessarily based on linear algebra over finite fields. We use this duality theory to prove pro...
متن کاملDuality theory and propagation rules for generalized digital nets
Digital nets are used in quasi-Monte Carlo algorithms for approximating high dimensional integrals over the unit cube. Hence one wants to have explicit constructions of digital nets of high quality. In this paper we consider the so-called propagation rules for digital nets, which state how one can obtain a new digital net of different size from existing digital nets. This way one often can gene...
متن کاملA higher order Blokh-Zyablov propagation rule for higher order nets
Higher order nets were introduced by Dick as a generalisation of classical (t,m, s)nets, which are point sets frequently used in quasi-Monte Carlo integration algorithms. Essential tools in finding such point sets of high quality are propagation rules, which make it possible to generate new higher order nets from existing higher order nets and even classical (t,m, s)-nets. Such propagation rule...
متن کاملHigher Order Demand Propagation
In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non-strict functional language, which has a polymorphic type system and supports higher order functions and user definable algebraic data types. This report defines a semantics for higher order demand propagation and relates it to...
متن کاملHigher-Order Nets for Mobile Policies
Since the early 80’s the combination of Petri nets and rule-based transformations has been extensively researched to obtain new concepts and results. In this paper we consider rules as tokens leading to the concept of higher-order nets for mobile policies. The rules are used on the one hand for the specification of policy rules and on the other hand for the modification of policy rules, i.e. fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 2011
ISSN: 0012-365X
DOI: 10.1016/j.disc.2010.11.002